-
1 правило дедукции
Mathematics: rule of deduction -
2 правило дедукции
-
3 правило дедукции
rule of deduction мат.Русско-английский научно-технический словарь Масловского > правило дедукции
-
4 правило
с.- правило Боде
- правило большого пальца
- правило буравчика
- правило валентностей
- правило вывода
- правило Гиббса
- правило дедукции
- правило Жуковского
- правило заключения
- правило левой руки
- правило Ленца
- логическое правило
- правило Максвелла
- правило Марковникова
- правило Непера
- правило отбора
- правило параллелограмма
- правило пересчёта
- правило площадей
- правило правой руки
- правило сложения движений
- правило сложения сил
- правило смешения
- правило смещения
- правило сумм
- тройное правило
- правило фаз
- правило Флеминга
- цепное правило
- правило часовой стрелки
- правило частот Бора
- правило штопора
- эмпирическое правило -
5 justification
цифровое выравнивание (процесс управляемого изменения скорости передачи цифровых символов цифрового сигнала, как правило, без потери информации, для согласования со скоростью, отличающейся от собственной)выравнивание полей ( за счёт пробелов), выключка строк ( в пишущей машине)технико-экономическое обоснование (напр., для заказа оборудования гибкой производственной системы)1. ограничение слева или справа; сдвиг к левой или правой границе слова;2. указание порядка старшинства битов (напр., самый старший бит - слева)технико-экономическое обоснование (напр., для заказа оборудования гибкой производственной системы)Англо-русский словарь промышленной и научной лексики > justification
См. также в других словарях:
Правило вывода — правило преобразования некоторой формальной системы, дедуктивное правило, правило разрешение, регламентирующее допустимые способы переходов от некоторой совокупности утверждений (суждений (См. Суждение), высказываний (См. Высказывание)… … Большая советская энциклопедия
ПРАВИЛО ВЫВОДА — определяет переход от посылок к следствиям; более точно устанавливает соответствие между некоторой совокупностью высказываний (формул), наз. посылками, и одним определ. высказыванием (формулой), наз. логич. следствием из этих посылок.… … Философская энциклопедия
дедукции теорема — ДЕДУКЦИИ ТЕОРЕМА (от лат. deductio выведение) утверждение о свойствах логической теории. Д. т. гласит: «Если имеется вывод Г, А ( В, то имеется также и вывод Г J А > В, где > знак импликации, Г произвольное (возможно пустое)… … Энциклопедия эпистемологии и философии науки
ТЕОРЕМА О ДЕДУКЦИИ — теорема дедукции, – одно из важнейших содержательных утверждений математической логики, определяющее связь между логически правильными (аподиктическими) рассуждениями (или умозаключениями, или выводами) и законами (доказуемыми формулами) логики,… … Философская энциклопедия
ВЫВОДИМОЕ ПРАВИЛО — метаматематическая теорема (см. Метатеорема), позволяющая по конечному числу выводов из гипотез утверждать выводимость формулы из гипотез Г; выводы наз. вспомогательными выводами В. п., заключение наз. результирующим выводом. В. п. является… … Математическая энциклопедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
ПОСЫЛКА — (греч. ), в широком смысле то, на основании чего делается вывод или умозаключение. П. могут служить факты или суждения о фактах, принципы, аксиомы, постулаты и пр., вообще любые события или высказывания исходные данные, из которых… … Философская энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия